- kategorisches Axiomensystem
- категорическая система аксиом
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Axiomensystem — Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) des Systems logisch abgeleitet werden.[1][2] Die Ableitung erfolgt dabei durch die… … Deutsch Wikipedia